$\forall$$L$:Dsys List.
\\[0ex]($\forall$$A$,$B$$\in$$L$.$A$ $\parallel$ $B$)
\\[0ex]$\Rightarrow$ ($\forall$$M$:Dsys. ($\forall$$B$$\in$$L$. interface{-}compatible($B$;$M$)) $\Rightarrow$ interface{-}compatible($\oplus$($L$);$M$))